School of Computer Science BCS accreditation 2021 - 2026
[Home]
Artificial Intelligence BSc (Hons) - 2.1.4 Analyse if/how a system meets current and future requirements
Return to programme overview.
COMP10120 First Year Team Project
Although the requirements are determined by the group, they reflect on these and future needs in the final presentation.
Assesement : Presentation
Assesement : Presentation
COMP11120 Mathematical Techniques for Computer Science
It enables students to use logic to establish such criteria formally and it provides examples fo how to give proofs of such properties.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP11212 Fundamentals of Computation
The unit introduces the notion of computational correctness and the use of formal specifications to describe behaviour.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP15212 Operating Systems
The course covers the evolving needs of users compared with the affordances / cost of the technology; for example the change in ratio between the address size and cost/availability of physical memory and backing store.
Assesement : Examination
Assesement : Examination
COMP16412 Introduction to Programming 2
Students learn testing through the provision of unit tests in the labs and coursework in order to make sure that their code meets the expectations set.
Assesement : Group coursework, Lab work
Assesement : Group coursework, Lab work
COMP23311 Software Engineering 1
Bugs are injected into the system and the course requires that students fix those bugs
Assesement : Individual coursework, Group coursework
Assesement : Individual coursework, Group coursework
COMP23412 Software Engineering 2
As students build an enterprise web system over a period of ten weeks, students are given new requirement every week whereby the lecturers act as customers. Students are encouraged to check with the "customers" whether the requirements are met. In this way, students learn that requirements can be initially ambiguous and become more specific over time. They also learn that some requirements may disappear, some others will emerge unexpectedly and some other are open to interpretation.
Assesement : Examination, Group coursework
Assesement : Examination, Group coursework
COMP24112 Machine Learning
This course has the following learning outcomes: Discuss the differences (including limitations and advantages) between parametric and non-parametric, between deterministic and probabilistic models, and interpret their results.
Assesement : Examination
Assesement : Examination
COMP26020 Programming Languages & Paradigms
There is one part of the course unit, which is dedicated to future trends in programming languages.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP26120 Algorithms and Data Structures
Emphasis is placed on being able to argue and/or demonstrate the correctness and complexity of an algorithmic solution.
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP30040 Third Year Project Laboratory
The student's work will be evaluated against requirements derived as part of the project.
Assesement : Individual coursework
Assesement : Individual coursework